Chain rule proof